Notes on extremal and Tame Valued Fields
نویسندگان
چکیده
We extend the characterization of extremal valued fields given in [1] to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that are extremal. The key to the proof is a model theoretic result about tame valued fields in mixed characteristic. Further, we prove that in an extremal valued field of finite p-degree, the images of all additive polynomials have the optimal approximation property. This fact can be used to improve the axiom system that is suggested in [5] for the elementary theory of Laurent series fields over finite fields. Finally we give examples that demonstrate the problems we are facing when we try to characterize the extremal valued fields with non-perfect residue fields.
منابع مشابه
The Algebra and Model Theory of Tame Valued Fields
A henselian valued field K is called a tame field if its algebraic closure K̃ is a tame extension, that is, the ramification field of the normal extension K̃|K is algebraically closed. Every algebraically maximal Kaplansky field is a tame field, but not conversely. We develop the algebraic theory of tame fields and then prove Ax–Kochen– Ershov Principles for tame fields. This leads to model compl...
متن کاملThe Model Theory of Separably Tame Valued Fields
A henselian valued field K is called separably tame if its separable-algebraic closure K is a tame extension, that is, the ramification field of the normal extension K|K is separable-algebraically closed. Every separable-algebraically maximal Kaplansky field is a separably tame field, but not conversely. In this paper, we prove Ax– Kochen–Ershov Principles for separably tame fields. This leads ...
متن کاملThe model theory of tame valued fields Preliminary version
A henselian valued field K is called a tame field if its separable-algebraic closure Ksep is a tame extension, that is, Ksep is equal to the ramification field of the normal extension Ksep|K. Every algebraically maximal Kaplansky field is a tame field, but not conversely. We prove Ax–Kochen–Ershov Principles for tame fields. This leads to model completeness and completeness results relative to ...
متن کاملQuantifier Elimination in Tame Infinite p-ADIC Fields
We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of Qp (‘infinite p-adic fields’) using a natural language extension. The present paper deals with those infinite p-adic fields which admit only tamely ramified algebraic extensions (so-called tame fields). In the case of tame fields whose residue fields satisfy Kaplansky’s co...
متن کاملKummer subfields of tame division algebras over Henselian valued fields
By generalizing the method used by Tignol and Amitsur in [TA85], we determine necessary and sufficient conditions for an arbitrary tame central division algebra D over a Henselian valued field E to have Kummer subfields [Corollary 2.11 and Corollary 2.12]. We prove also that if D is a tame semiramified division algebra of prime power degree p over E such that p 6= char(Ē) and rk(ΓD/ΓF ) ≥ 3 [re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 81 شماره
صفحات -
تاریخ انتشار 2016